1. Logic for applications
پدیدآورنده: / Anil Nerode, Richard A. Shore
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science-mathematics,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
M35
,
N47
1997
2. Logic for applications /
پدیدآورنده: Anil Nerode, Richard A. Shore
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
M35
N47
1997
3. Recursion theory
پدیدآورنده: edited by Anil Nerode and Richard A. Shore
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Addresses, essays, lectures ، Recursion theory
رده :
QA
1
.
P7
Vol
.
42
